1.
Applied Security Laboratory : A Hands-on Approach
by Basin, David, Schaller, Pat...
ISBN: 9783642244735
List Price: $49.95
4.
Principles of Security and Trust : Second International Conference, POST 2013, Held As Part ...
by Basin, David, Mitchell, Joh...
ISBN: 9783642368295
List Price: $79.95
5.
Automated Reasoning Second International Joint Conference, Ijcar 2004, Cork, Ireland, July 4...
by Basin, David, Rusinowitch, ...
ISBN: 9783540223450
List Price: $99.95
6.
Theorem Proving in Higher Order Logics 16th International Conference, Tphols 2003, Rome, Ita...
by Basin, David, Wolff, Burkhart
ISBN: 9783540406648
List Price: $79.95
7.
Applied Information Security: A Hands-on Approach
by David Basin, Patrick Schall...
ISBN: 9783642436321
List Price: $49.95
9.
Sandusky River Basin Symposium, May 2-3, 1975, Tiffin, OH : Proceedings
by Sandusky River Basin Sympos...
ISBN: 9780598025531
List Price: $150.70
OUT OF STOCK
See Availability on Amazon10.
Proceedings of the Second Acm Conference on Wireless Network Security
by Basin, David
ISBN: 9781605584607
List Price: $40.00
OUT OF STOCK
See Availability on Amazon11.
Wisec '09 : Second Acm Conference on Wireless Network Security
by Basin, David
ISBN: 9781605584591
List Price: $30.00
OUT OF STOCK
See Availability on Amazon12.
Theorem Proving in Higher Order Logics
by Basin, David, Wolff, Burkhart
ISBN: 9783662199480
List Price: $24.99
OUT OF STOCK
See Availability on Amazon16.
17.
Rippling Meta-Level Guidance for Mathematical Reasoning
by Bundy, Alan, Basin, David, ...
ISBN: 9780521834490
List Price: $132.00
18.
19.
Complete Guide to SCION : From Design Principles to Formal Verification
by Chuat, Laurent, Legner, Mar...
ISBN: 9783031052873
20.
Complete Guide to SCION : From Design Principles to Formal Verification
by Chuat, Laurent, Legner, Mar...
ISBN: 9783031052903